Kênh Chuỗi Khối Việt

Báo cáo nghiên cứu của Brevis: ZKVM và Bộ đồng xử lý dữ liệu Lớp điện toán tin cậy không giới hạn


Mô hình "tính toán ngoài chuỗi + xác minh trên chuỗi" của điện toán tin cậy đã trở thành một mô hình điện toán phổ biến cho các hệ thống blockchain. Nó cho phép các ứng dụng blockchain đạt được sự tự do tính toán gần như không giới hạn trong khi vẫn duy trì tính bảo mật của tính phi tập trung và tính không cần tin cậy. Bằng chứng không kiến thức (ZKP) là trụ cột cốt lõi của mô hình này, với các ứng dụng chủ yếu tập trung vào ba lĩnh vực cơ bản: khả năng mở rộng, quyền riêng tư, khả năng tương tác và tính toàn vẹn dữ liệu. Mở rộng quy mô là kịch bản ứng dụng sớm nhất cho công nghệ ZK. Bằng cách chuyển việc thực hiện giao dịch ra khỏi chuỗi và xác minh kết quả trên chuỗi bằng các bằng chứng ngắn gọn, nó đạt được thông lượng giao dịch cao và khả năng mở rộng đáng tin cậy với chi phí thấp. Quá trình phát triển của điện toán tin cậy ZK có thể được tóm tắt như sau: L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM. Các triển khai ban đầu của L2 zkRollup đã di chuyển thực thi sang Lớp 2 và gửi bằng chứng xác thực trên Lớp 1, đạt được thông lượng cao và khả năng mở rộng chi phí thấp với những thay đổi tối thiểu. Sau đó, zkVM được mở rộng thành lớp tính toán có thể xác minh mục đích chung, hỗ trợ xác minh chuỗi chéo, suy luận AI và điện toán được mã hóa (các dự án tiêu biểu: Risc Zero, Succinct, Brevis Pico). zkCoprocessor, được phát triển song song, hoạt động như một mô-đun xác minh dựa trên kịch bản, cung cấp các dịch vụ tính toán và bằng chứng cắm và chạy cho DeFi, Ứng dụng web đáng tin cậy (RWA), quản lý rủi ro và các ứng dụng khác (các dự án tiêu biểu: Brevis, Axiom). Đến năm 2025, khái niệm zkEVM sẽ được mở rộng sang Chứng minh thời gian thực L1 (RTP), xây dựng các mạch có thể xác minh ở cấp độ lệnh EVM. Điều này sẽ cho phép các bằng chứng không kiến thức được tích hợp trực tiếp vào quy trình thực thi và xác minh của mạng chính Ethereum, trở thành một cơ chế thực thi có thể xác minh được. Sự phát triển này phản ánh bước nhảy vọt về công nghệ từ "khả năng mở rộng" sang "khả năng xác minh" trong blockchain, mở ra một kỷ nguyên mới của điện toán đáng tin cậy.


I. Lộ trình mở rộng zkEVM của Ethereum: Từ L2 Rollup đến L1 Real-Time Proofs


Lộ trình mở rộng zkEVM của Ethereum bao gồm hai giai đoạn:


· Giai đoạn 1 (2022–2024): L2 zkRollup chuyển việc thực thi sang Lớp 2, nơi các bằng chứng xác thực được gửi đi. Điều này giúp giảm đáng kể chi phí và cải thiện thông lượng, nhưng lại gây ra tình trạng phân mảnh thanh khoản và trạng thái, và L1 vẫn phải thực thi lại N trong N.